<header>
    分布函数
</header>
<p>
    <span class="title">
        定义
    </span>
    设X是一个随机变量，对任意实数x，称
    <span class="oneline">
        F(x) = P(X≤x)
    </span>
    为随机变量X的<span class="important">分布函数</span>。
    且称X服从F(x)，记为X~F(x)。
</p>
<p>
    <span class="title">
        定理
    </span>
    任一分布函数F(x)都具有如下三条基本性质：
</p>
<ol>
    <li>
        <span class="important">单调性</span>
        F(x)是定义在整个实数轴(-∞,∞)上的单调非递减函数，即对任意的x<sub>1</sub>＜x<sub>2</sub>，有F(x<sub>1</sub>)≤F(x<sub>2</sub>)；
    </li>
    <li>
        <span class="important">有界性</span>
        对任意的x，有0≤F(x)≤1，且
        <span class="oneline">
            F(-∞)=<code>["limt","x→-∞","F(x)"]</code>=0
        </span>
        <span class="oneline">
            F(∞)=<code>["limt","x→∞","F(x)"]</code>=1
        </span>
    </li>
    <li>
        <span class="important">右连续性</span>
        F(x)是x的右连续函数。
    </li>
</ol>
<p>
    这三个基本性质是判别某个函数是否能成为分布函数的充要条件。
</p>